541. Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS'98, held as part of the joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
Author: Bernhard Steffen )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1384
542. Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March/April 2000 : proceedings
Author: Susanne Graf, Michael Schartzbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1785
543. Tools and algorithms for the construction and analysis of systems : 11th International Conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Author: Nicolas Halbwachs, Lenore D. Zuck )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3440
544. Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings
Author: Joost-Pieter Katoen, Perdita Stevens )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2280
545. Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
Author: Tiziana Margaria, Wang Yi )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2031
546. Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
Author: Kurt Jensen, Andreas Podelski )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2988
547. Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 2003 : proceedings
Author: Hubert Garavel, John Hatcliff )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2619
548. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
549. Topics in cryptology -- CT-RSA 2018 :
Author: Nigel P. Smart (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science), Congresses.,Business & Economics-- Information Management.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Information architecture.,Network hardware.,Software Engineering.
Classification :
QA76
.
9
.
A25
550. Towards next generation grids :
Author: edited by Thierry Priol, Marco Vanneschi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational grids (Computer systems), Congresses.,Computational grids (Computer systems),Computational grids (Computer systems),COMPUTERS-- Client-Server Computing.,Informatique.
Classification :
QA76
.
9
.
C58
C675
2007eb
551. Transactions on large-scale data- and knowledge-centered systems XXXVII /
Author: edited by Abdelkader Hameurlain, Roland Wagner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
A25
552. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Paima, Mallorca, Spain, May 21-23, 1997: proceedings
Author: Miquel Bertran, Teodor Rus, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1231
553. Trends and advances in information systems and technologies.
Author: Álvaro Rocha, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
Classification :
T58
.
5
554. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62
555. UML 2004
Author: / Thomas Baar ... [et al.] (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,UML (Computer science) Congresses
Classification :
QA76
.
76
.
D47
,
U45
2004
556. UML 2004 :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer software ; Development ; Congresses ; UML (Computer science) ; Congresses ;
557. UML 2004
Author: / Thomas Baar ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development--Congresses,UML (Computer science)--Congresses
Classification :
QA
,
76
.
76
,.
D47
,
U45
,
2004
558. UML modeling languages and applications
Author: / Nuno Jardim Nunes ... [et al.] (eds.).
Library: Library of College of Science University of Tehran (Tehran)
Subject: Modeling languages (Computer science),Computer software--Development--Congresses.,UML (Computer science)--Congresses.
Classification :
QA76
.
76
.
D47
U45
2004
559. UML 2002--the Unified Modeling Language : model engineering, concepts, and tools : 5th International Conference, Dresden, Germany, September 30-October 4,2002 : proceedings
Author: Jean-Marc Jezequel, Heinrich Hussmann, Stephen Cook )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
2460
560. UML 2003-the unified modeling language
Author: / Perdita Stevens, Jon Whittle, Grady Booch (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,UML (Computer science) Congresses
Classification :
QA76
.
76
.
D47
,
U45
2003
